home *** CD-ROM | disk | FTP | other *** search
/ Tech Arsenal 1 / Tech Arsenal (Arsenal Computer).ISO / tek-04 / aie8911.zip / LISTING.1 < prev    next >
Text File  |  1989-08-27  |  2KB  |  85 lines
  1.  
  2.                   Listing 1
  3.  
  4.              EXECUTING SPECIFICATIONS
  5.  
  6. Specification 1:
  7.  
  8.    stub( [ call : process_housing_unit( X ) ,
  9.            purpose: $processes a housing unit$  ]).
  10.  
  11.    test :-   process_housing_unit( 1 ).
  12.  
  13. Execution of Specification 1:
  14.  
  15.    INSTANT RECALL SPECIFICATION INTERPRETER
  16.    Loading System Description.
  17.    reconsulting v1...reconsulted!
  18.    ?>test.
  19.  
  20.    process_housing_unit(1) processes a housing unit.
  21.  
  22.    ?>halt.
  23.  
  24. Specification 2:
  25.  
  26.  
  27.    stub  [ call : process_housing_unit( X ) ,
  28.            purpose: $processes a housing unit$].
  29.  
  30.    process_housing_unit( X ) :-
  31.           data_collected_q( X ),
  32.           put_in_sample( X ).
  33.    process_housing_unit( X ) :-
  34.           write_error([ $No data for $, X]).
  35.  
  36.    stub  [ call : data_collected_q(  Housing_unit  ),
  37.            purpose: $decides if data was collected for Housing_unit$].
  38.  
  39.    stub  [ call : put_in_sample(  Housing_unit  ),
  40.            purpose: $puts data into sample for used for CPI$].
  41.  
  42.    test :-   process_housing_unit( 1 ).
  43.  
  44.    :- turn( process_housing_unit, on).
  45.    :- show( process_housing_unit, on).
  46.  
  47. Execution of Specification 2:
  48.  
  49.    ?>test.
  50.  
  51.    process_housing_unit(1) processes a housing unit.
  52.  
  53.    data_collected_q decides if data was collected for Housing_unit.
  54.    Is data_collected_q(1) true? ( y or n) : y
  55.    put_in_sample(1) puts data into sample for used for CPI.
  56.  
  57.    ?>test.
  58.  
  59.    process_housing_unit(1) processes a housing unit.
  60.  
  61.    data_collected_q decides if data was collected for Housing_unit.
  62.    Is data_collected_q(1) true? ( y or n) : n
  63.  
  64.    ACHTUNG !! ACHTUNG !! -- ERROR : No data for 1
  65.  
  66. Specification 3:
  67.  
  68.    stub  [ call : process_housing_units ,
  69.            purpose: $processes  housing units$].
  70.  
  71.    test :-   process_housing_units.
  72.  
  73. Execution of Specification 3:
  74.  
  75.    ?>test.
  76.  
  77.    More  housing units (y or n) ? y
  78.     housing unit processed.
  79.    More  housing units (y or n) ? y
  80.     housing unit processed.
  81.       More  housing units (y or n) ? n
  82.  
  83.  
  84. ---------------- end of listing -----------------------------------
  85.